Cliff Jones (computer Scientist), Jones, C.B.
Cliff or Clifford Jones may refer to: * Cliff Jones (computer scientist) (born 1944), British computer scientist * Cliff Jones (English footballer), footballer for Gainsborough Trinity and Burnley * Cliff Jones (Welsh footballer) (born 1935), Wales international footballer * Cliff Jones (rugby union) (1914–1990), Wales rugby international captain * Cliff Jones (musician) (born 1968), British music producer and lead singer of Gay Dad * Clifford A. Jones (1912–2001), Lieutenant Governor of Nevada * Clifford L. Jones (1927–2008), Pennsylvania Republican Party chairman * A. Clifford Jones (1921–1996), American politician in Missouri {{hndis, Jones, Cliff ...
[...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  

Cliff Jones (computer Scientist)
Clifford "Cliff" B. Jones (born 1 June 1944) is a British computer scientist, specializing in research into formal methods. He undertook a late Doctor of Philosophy, DPhil at the Oxford University Computing Laboratory (now the Oxford University Department of Computer Science) under Tony Hoare, awarded in 1981. Jones' thesis proposed an extension to Hoare logic for handling concurrent programs, rely/guarantee. Prior to his DPhil, Jones worked for IBM, between the Hursley and IBM Laboratory Vienna, Vienna Laboratories. In Vienna, Jones worked with Peter Lucas (computer scientist), Peter Lucas, Dines Bjørner and others on the Vienna Development Method (VDM), originally as a method for specifying the formal semantics of programming languages, and subsequently for specifying and verifying programs. Cliff Jones was a professor at the Victoria University of Manchester in the 1980s and early 1990s, worked in industry at Harlequin for a period, and is now a Professor of Computing Scie ...
[...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]